Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
901	LEARNING IN RATIONAL AGENTS STUART RUSSELL COMPUTER SCIENCE DIVISION UC BERKELEYJOINT WORK WITH ERIC WEFALD, DEVIKA SUBRAMANIAN, SHLOMO Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2005-11-17 20:22:38 Economics Knowledge Autonomy Philosophical logic Philosophy of mind Rationality Reinforcement learning Rational agent Object Artificial intelligence Science Game theory
902	Microsoft Word - Workedxample_ER20-prt.doc Add to Reading List Source URL: www.jamespaulgee.com Language: English - Date: 2009-10-17 00:27:36 Ethology Philosophy of science Logic Narratology Rhetoric Scientific method Inquiry Epistemology Emotion Science Critical thinking Mind
903	RATIONALITY AND INTELLIGENCE STUART RUSSELL COMPUTER SCIENCE DIVISION UC BERKELEY Joint work with Eric Wefald, Devika Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-07-17 10:12:52 Rationality Analytic philosophy Philosophy Mind Autonomy Philosophical logic Philosophy of mind
904	Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 11:25:49 Programming language theory Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Monad Theoretical computer science Computer science Type theory
905	Position Announcement: Reference Assistant Linda Hall Library, the nation’s largest privately-funded research library devoted to the support of science, engineering, and technology, is taking applications for a Refere Add to Reading List Source URL: www.lindahall.org Language: English - Date: 2015-05-12 10:49:00 Logic Reference Knowledge Library science Science Library
906	Development and Evaluation of LAV: an SMT-Based Error Finding Platform? System Description Milena Vujoˇsevi´c-Janiˇci´c1 and Viktor Kuncak2 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Control flow Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM For loop C Static single assignment form Computing Software engineering Computer programming
907	THINKING & REASONING, 2007, 13 (3), 225 – 247 Natural myside bias is independent of cognitive ability Keith E. Stanovich University of Toronto, Canada Add to Reading List Source URL: www.keithstanovich.com Language: English - Date: 2012-05-21 17:13:37 Logic Bias Belief bias Keith Stanovich Intelligence quotient Confirmation bias SAT Psychology Epistemology Science Mind Critical thinking
908	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
909	Community Action Partnership of Riverside County 2015 Community Action Mini Academy Registration Please complete a separate registration form for each attendee. Pre-Registration and Pre-Payment are Required. Fees are non Add to Reading List Source URL: www.capriverside.org Language: English - Date: 2015-01-20 13:32:18 Academia Knowledge Logic model Science Logic
910	Decision methods for arithmetic Third summer school on formal methods Leonardo de Moura Microsoft Research Symbolic Reasoning Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Propositional calculus Theoretical computer science Rules of inference Logic programming Resolution Literal Clause Automated theorem proving Logic Mathematical logic

UPDATE